Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings: 11918 (Lecture Notes in Computer Science, 11918)
by Wolfgang Ahrendt,Silvia Lizeth Tapia Tarifa
ISBN 13: 9783030349677
Format: Paperback (571 pages) Publisher: Springer Published: 14 Jan 2020
Save for later